First-order dynamic logic
[计] 一阶动态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
dynamic
[daɪ'næmɪk]
adj. 动态的;动力的，动力学的;充满活力的，精力充沛的;不断变化的，充满变数的;
n. 动态;动力，推动变化的力量;动力学;活力;
dynam =power,表示“力量” + ic ...的 → 有活力的;动力的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
Many shopping malls and supermarkets can deliver goods straight to your door.
许多购物中心和超市提供免费送货上门服务。
Where the sun enterd, the doctor does not.
阳光照耀处，医生就不需。
A short time before, great trees had covered the countryside for miles around.
就在不久之前，参天大树还覆盖着方圆数英里的土地。